PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.9.31 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-07-26 19:46:27
hourdayweektotal
70129710348303042
Elapsed time: 3.00446s